(define (domain toy_world)
  (:requirements :strips)
  (:predicates (is-true ?x))

  (:action MakeTrue
    :parameters (?x)
    :precondition (and (not (is-true ?x)))
    :effect (and (is-true ?x)))
  )